#include<stdio.h>
int main()
{
	 int n=0;
	 scanf("%d",&n);
	 int arr[99999],count[99999];
	 int t=0;
	 int flag=0;
	 while(n)
	 {
	 	if(n%10==0)
	 	{
	 		flag=1;
	 		count[0]++;
		 }
	 	else if(arr[n%10]==n%10)
	 	{
	 		count[n%10]++;
		 }
	 	arr[n%10]=n%10;
	 	t++;
	 	n/=10;
	 }
	 	if(flag==1)
	 	{
	 		printf("0:%d\n",count[0]);
		 }
	 for(int i=1;i<10;i++)
	 {
		 if(arr[i]!=0)
		 {
		 	printf("%d:%d\n",arr[i],count[i]+1);
		 }
	 }
	 return 0;
}
